/patch-hardware_arduino_boards_txt/1.4/Wed Dec  5 13:14:52 2012//
/patch-libraries_Ethernet_Ethernet_cpp/1.2/Tue Apr 24 06:37:32 2012//
/patch-libraries_Wire_Wire_cpp/1.2/Tue May 22 21:26:11 2012//
/patch-hardware_arduino_cores_arduino_Arduino_h/1.1/Sat Jul 19 11:34:11 2014//
D
